Dependence Analysis

Dynamic slicing of parallel message-passing programs

Software Development / Distributed System / Program Slicing / Pdp / Message Passing / Dependence Analysis / Software Systems / Dynamic Slicing / Dependence Analysis / Software Systems / Dynamic Slicing

An ontological approach to simulate critical infrastructures

Information Systems / Computational Science / Knowledge Based System / Data Structure / Critical Infrastructure / Dependence Analysis / Simulation Framework / Dependence Analysis / Simulation Framework

An ontological approach to simulate critical infrastructures

Information Systems / Computational Science / Knowledge Based System / Data Structure / Critical Infrastructure / Dependence Analysis / Simulation Framework / Dependence Analysis / Simulation Framework

Embla - Data Dependence Profiling for Parallel Programming

Parallel Programming / Hardware / Efficient Algorithm for ECG Coding / Data Dependence / Data Structures / Multicore processors / Availability / Dependence Analysis / Parallelization / Multicore processors / Availability / Dependence Analysis / Parallelization

Logical queries over views

Data Warehousing / Information Integration / Pure Mathematics / Active Database / First-Order Logic / Database Query / First Order Logic / Dependence Analysis / Boolean Satisfiability / Database Query / First Order Logic / Dependence Analysis / Boolean Satisfiability

Logical Queries over Views: Decidability and Expressiveness

Data Warehousing / Information Integration / Active Database / Containment / First-Order Logic / Database Query / First Order Logic / Dependence Analysis / Boolean Satisfiability / Decidability / Database Query / First Order Logic / Dependence Analysis / Boolean Satisfiability / Decidability

Copyright © 2017 DADOSPDF Inc.